Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
961	Summer School on Law and Logic European University Institute & Harvard Law School[removed]July, 2013 Florence, Italy Projection for Sessions[removed]and 2.2.2 Add to Reading List Source URL: lawandlogic.files.wordpress.com Language: English - Date: 2013-07-16 14:52:59 Mathematical logic Philosophical logic Boolean algebra Logical connectives Semantics Offer and acceptance United States contract law Uniform Commercial Code Truth table Logic Propositional calculus Mathematics
962	FUZZY ASSOCIATION RULES: A TWO-SIDED APPROACH M. De Cock C. Cornelis E. E. Kerre Dept. of Applied Mathematics and Computer Science Ghent University, Krijgslaan 281 (S9), B-9000 Gent, Belgium phone: +[removed], fax: Add to Reading List Source URL: www.fuzzy.ugent.be Language: English - Date: 2005-06-09 09:15:55 Fuzzy logic Measure theory Support Association rule learning Exponentiation Boolean algebra Expected value Rough set Fuzzy mathematics Logic Mathematical logic Mathematics
963	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:47:16 Mathematical logic Boolean algebra Stable model semantics Answer set programming Rules of inference Literal Negation Modal logic Logic programming Logic Propositional calculus
964	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic
965	ISMVL 2003 Information 33rd International Symposium on Multiple-Valued Logic[removed]May 2003 Meiji University, Tokyo, Japan Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2003-05-13 23:21:56 Non-classical logic Logic in computer science Artificial intelligence Many-valued logic Fuzzy logic Algebraic logic Boolean algebra Logic gate Boolean function Logic Mathematical logic Mathematics
966	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
967	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
968	PDF Document Add to Reading List Source URL: www.harrischristiansen.com Language: English - Date: 2013-11-10 17:44:23 Software design patterns Software engineering Computer programming Boolean algebra Boolean data type Computing
969	Quantum Algebras, Systems, and Computation Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic structures Algebra Algebraic logic Quantum mechanics Mathematical logic Complemented lattice Boolean algebra Quantum logic Modular lattice Mathematics Abstract algebra Lattice theory
970	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic

UPDATE